/* testing &&, ||, !, and their priority and associativity 
 * compare with relationship operator
 */
/*@*/
int main(){
  printb(true && false);//false
  printb(false && true);//false
  printb(false && false);//false
  printb(true && true);//true
  printb(true || true);//true
  printb(false || false);//false
  printb(false || true);//true
  printb(true || false);//true
  printb(!false);//true
  printb(!true);//false
  printb(false && !true);//false
  printb(!false && false);//false
  printb(2>7 && 5<7);//false
  printb(2>7 || 5<=5);//true
  printb(!(5>=5));//false
  return 0;
}
/*@*/
